On EQ-Fuzzy Logics with Delta Connective
نویسندگان
چکیده
In this paper, extension of the EQ-logic by the ∆connective is introduced. The former is a new kind of many-valued logic which based on EQ-algebra of truth values, i.e. the algebra in which fuzzy equality is the fundamental operation and implication is derived from it. First, we extend the EQ-algebra by the ∆ operation and then introduce axioms and inference rules of EQ∆-logic. We also prove the deduction theorem formulated using fuzzy equalities.
منابع مشابه
EQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملEQ-logics: Non-commutative fuzzy logics based on fuzzy equality
In this paper, we develop a specific formal logic in which the basic connective is fuzzy equality and the implication is derived from the latter. Moreover, the fusion connective (strong conjunction) is noncommutative. We call this logic EQ-logic. First, we formulate the basic EQ-logic which is rich enough to enjoy the completeness property. Furthermore, we introduce two extensions which seem to...
متن کاملWeakening-free fuzzy logics with the connective D
This is an investigation of weakening-free fuzzy logics expanded by the delta connective D; which can be interpreted by Baaz’s projection and its generalizations. First, logical systems obtained from weakeningfree uninorm (based) logics by adding D to be interpreted by the Baaz projection are introduced. Next, expansions of the weakening-free uninorm logics with D to be interpreted by its gener...
متن کاملOn good EQ-algebras
A special algebra called EQ-algebra has been recently introduced by Vilém Novák. Its original motivation comes from fuzzy type theory, in which the main connective is fuzzy equality. EQ-algebras have three binary operations meet, multiplication, fuzzy equality and a unit element. They open the door to an alternative development of fuzzy (manyvalued) logic with the basic connective being fuzzy e...
متن کاملNon-Commutative EQ-Logics and Their Extensions
We discuss a formal many-valued logic called EQlogic which is based on a recently introduced special class of algebras called EQ-algebras. The latter have three basic binary operations (meet, multiplication, fuzzy equality) and a top element and, in a certain sense, generalize residuated lattices. The goal of EQ-logics is to present a possible direction in the development of mathematical logics...
متن کامل